Derivation of Ampere's circuital law